Skip to content

Conversation

tshepang
Copy link
Member

Closes #46734

@rust-highfive
Copy link
Contributor

r? @Kimundi

(rust_highfive has picked a reviewer for you, use r? to override)

@steveklabnik
Copy link
Contributor

Looks great, thank you!

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 15, 2017

📌 Commit 6f6ece2 has been approved by steveklabnik

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Dec 15, 2017
bors added a commit that referenced this pull request Dec 15, 2017
Rollup of 7 pull requests

- Successful merges: #46601, #46652, #46690, #46705, #46710, #46728, #46737
- Failed merges:
@bors bors merged commit 6f6ece2 into rust-lang:master Dec 15, 2017
@tshepang tshepang deleted the better branch December 15, 2017 19:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants